Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
151	Mathematical Writing by Donald E. Knuth, Tracy Larrabee, and Paul M. Roberts This report is based on a course of the same name given at Stanford University during autumn quarter, 1987. Here’s the catalog description: C Add to Reading List Source URL: www.cadmo.ethz.ch Language: English - Date: 2008-01-23 04:52:01 Mathematics Logic Integer sequences Sequence Modal logic Prime number Abstraction
152	From Deep Inference to Proof Nets via Cut Elimination Lutz Straßburger INRIA Saclay–ˆIle-de-France, France http://www.lix.polytechnique.fr/∼ lutz June 24, 2009 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-06-25 08:22:18 Logic Mathematical logic Proof theory Sequent Rule of inference Natural deduction Propositional calculus Deep inference Theorem Intuitionistic logic Formal proof Inference
153	A DESCRIPTIVE TITLE, NOT TOO GENERAL, NOT TOO LONG Markus P¨uschel Department of Computer Science ETH Z¨urich Z¨urich, Switzerland The hard page limit is 6 pages in this style. Do not reduce font size or use other tri Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2013-09-09 04:58:26 Sorting algorithms Computing Data processing Mathematics Algorithm Mathematical logic Theoretical computer science Sorting Sort Computational complexity theory Program optimization Selection algorithm
154	Free Theorems for Bidirectional Transformation Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Mathematical logic Mathematics Wellfoundedness Set theory Ordinal numbers Constructible universe Proof theory CurryHoward correspondence Net
155	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:45:21 Theoretical computer science Mathematical logic Mathematics Logic programming Logic in computer science Automated theorem proving Formal methods Unification Lambda calculus Constraint logic programming Conjunctive normal form
156	Types and Type-Free λ-Calculus Dana S. Scott, FBA, FNAS University Professor Emeritus Carnegie Mellon University Visiting Scholar Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2016-06-16 11:50:12 Computability theory Theoretical computer science Mathematical logic Theory of computation Models of computation Formal methods Logic in computer science Lambda calculus Recursively enumerable set -recursive function Denotational semantics Numbering
157	Building Event-B Interlocking Theories: Lessons Learned using the Theory Plug-in Yoann Guyot, Renaud De Landtsheer, Christophe Ponsard CETIC Research Center, Charleroi, Belgium {yoann.guyot, renaud.delandtsheer, christop Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:41:20 Logic Abstraction Philosophy Metalogic Mathematical proofs Interlocking Theorem Theory Railway signalling Model theory Domain-specific language Rodin tool
158	On the Optimality of Top-k Algorithms for Interactive Web Applications∗ Yael Amsterdamer Daniel Deutch Add to Reading List Source URL: webdb2011.rutgers.edu Language: English - Date: 2011-05-31 18:17:42 Computational complexity theory Mathematics Edsger W. Dijkstra Graph theory Algorithm Mathematical logic Theoretical computer science Shortest path problem NP Dynamic programming
159	Encoding Monomorphic and Polymorphic Types Jasmin Christian Blanchette1 , Sascha Böhme1 , Andrei Popescu1 , and Nicholas Smallbone2 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Logic Mathematical logic Mathematics Automated theorem proving Logic programming Model theory Formal languages Type theory Unification Structure Substitution Symbol
160	A Mathematical-Algorithmic Approach to Sets: A Case Study Judith Gal-Ezer1 Orna Lichtenstein2 April 1996 Abstract The aim of this paper is to show, by means of a mathematical example, how Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2004-09-27 01:19:28 Mathematics Mathematical logic Science and technology Theoretical computer science Algorithm Computational complexity theory Mathematical optimization Word problem Algorithm characterizations